#include<stdio.h>
int main()
{
	int arr[7];
	for(int i=0;i<7;i++)
	{
		scanf("%d",&arr[i]);
	}
	printf("\n");
	int min=100,max=0,tot=0;
	for(int j=0;j<7;j++)
	{
		if(arr[j]<min)
		{
			min=arr[j];
		}
		if(arr[j]>max)
		{
			max=arr[j];
		}
		tot=tot+arr[j];
	}
	float eve=(tot-max-min)/5.0;
	printf("%.2f",eve);
	return 0;
	
}
